Buy Used and New Geoff Sutcliffe Books

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings: 3835 (Lecture Notes in Computer Science)

by Geoff Sutcliffe,Andrei Voronkov

ISBN 13: 9783540305538

Format: Paperback (760 pages)
Publisher: Springer
Published: 24 Nov 2005

Save for later

Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings: 12699 (Lecture Notes in Computer Science, 12699)

by André Platzer, Geoff Sutcliffe

ISBN 13: 9783030798758

Format: Paperback (666 pages)
Publisher: Springer
Published: 30 Sep 2021

Save for later